641. Constraint-aided conceptual design
پدیدآورنده : B. O'Sullivan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer-aided engineering.,Constraint programming (Computer science),Computer-aided engineering.,Constraint programming (Computer science)
رده :
TA345
642. Constraint-aided conceptual design /
پدیدآورنده : B. O'Sullivan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer-aided engineering.,Constraint programming (Computer science),CAD.,Computer-aided engineering.,Constraint programming (Computer science),Constraint-Programmierung.,Konzipieren (Technik)
رده :
TA345
.
O88x
2002
643. Constraint-based agents : an architecture for constraint-based modeling and local-search-based reasoning for planning and scheduling in open and dynamic worlds
پدیدآورنده : Nareyek, Alexander
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Intelligent agents )Computer software(,، Constraint programming )Computer science(,، Computer games
رده :
QA
76
.
L28
Vol
.
2062
644. Constraint databases and applications : ESPRIT WG CONTESSA workshop, Friedrichshafen, Germany, September 8-9, 1995 : proceedings
پدیدآورنده : Gabriel Kuper, Mark Wallace, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Database management
رده :
QA
76
.
L28
Vol
.
1034
645. Constraint databases and applications : Second International Workshop on Constraint Databases Systems, CDB'97, Delphi, Greece, January 11-12, 1997, CP'96 Workshop on Constranits and Databases, Cambridge, MA, USA, August 19, 1996 : selected papers
پدیدآورنده : V. Gaede...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Database management
رده :
QA
76
.
L28
Vol
.
1191
646. Constraint networks
پدیدآورنده : / Christophe Lecoutre
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Constraint programming (Computer science),Computer algorithms,Computer networks
رده :
QA
76
.
612
.
L43
2009
647. Constraint networks : techniques and algorithms
پدیدآورنده : Lecoutre, Christophe
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Constraint programming )Computer science(,، Computer algorithms,، Computer networks
رده :
QA
76
.
612
.
L43C6
648. Constraint programming and decision making
پدیدآورنده : / Ceberio Vladik
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع : Constraint programming (Computer science),Decision making--Data processing,Stem Cell Research--ethics
رده :
QA76
.
612
649. Constraint programming and large scale discrete optimization: DIMACS Workshop Constraint Programming and Large Scale Discrete Optimization, September 14-17, 1998, DIMACS Center
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Mathematical optimization
رده :
QA
76
.
612
.
D56
1998
650. Constraint programming languages :
پدیدآورنده : Wm. Leler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Bertrand (Computer program language),Constraint programming (Computer science),Bertrand (Langage de programmation),Bertrand (Computer program language),Bertrand (Computer program language),Constraint programming (Computer science),Langage programmation.
رده :
QA76
.
73
.
B47
L45
1988
651. Constraint programming languages: : their specification and generation
پدیدآورنده : Leler, Wm. )William(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Bertrand )Computer program language(,، Constraint programming )Computer science(
رده :
QA
76
.
73
.
B47L45
1988
652. Constraint solving and language processing
پدیدآورنده : / Henning Christiansen, Peter Rossen Skadhauge, Jorgen Villadsen (eds.)
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Constraint programming (Computer science),Logic programming,Natural language processing (Computer science)
رده :
QA
76
.
612
.
C637
2005
653. Constraint solving and language processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers
پدیدآورنده : Henning Christiansen, Peter Rossen Skadhauge, Jorgen Villadsen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
L28
Vol
.
3438
654. Constraint solving over multi-valued logics :
پدیدآورنده : Francisco Azevedo.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Constraint programming (Computer science),Digital electronics.,Many-valued logic.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Constraint programming (Computer science),Digital electronics.,Many-valued logic.
رده :
QA76
.
612
.
A94
2003eb
655. Constraints in computational logics : theory and applications ; International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 ; revised lectures
پدیدآورنده : Hubert Comon, Claude Marche, Ralf Treinen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Constraint programming )Computer science(,، Logic programming
رده :
QA
76
.
L28
Vol
.
2002
656. Construction of data Processing software
پدیدآورنده : / John Elder
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Electronic digital computers-programming,File organization (Computer Science),Cobol(computer program language)
رده :
004
.
028551
E37c
657. Construction of data processing software
پدیدآورنده : ELDER,JOHN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , FILE ORGANIZATION )COMPUTER SCIENCE( , COBOL )COMPUTER PROGRAM
رده :
QA
76
.
6
.
E434
658. Construction of data processing software
پدیدآورنده : Elder, John
موضوع : ، Electronic digital computers-- Programming,، File organization )Computer science(,، COBOL )Computer program language(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
659. Construction of data processing software
پدیدآورنده : Elder, John
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، File organization )Computer science(,، COBOL )Computer program language(
رده :
QA
76
.
6
.
E434
1984
660. Construction of data processing software
پدیدآورنده : / John Elder
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Electronic digital computers - Programming,File organization (Computer science),COBOL (Computer program language)
رده :
QA76
.
6
.
E434
1984
